logical connectives - определение. Что такое logical connectives
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое logical connectives - определение

SYMBOL OR WORD USED TO CONNECT SENTENCES (OF EITHER A FORMAL OR A NATURAL LANGUAGE), SUCH THAT THE VALUE OF THE COMPOUND SENTENCE PRODUCED DEPENDS ONLY ON THE ONE OF THE ORIGINAL SENTENCES AND ON THE MEANING OF THE CONNECTIVE
Connectives; Propositional operator; Logical operator; Logical operation; Truth functional connective; Connective (logic); Logical operators; Sentential connective; Logical operations; Truth-functional connective; Binary connective; Dyadic connective; Unary connective; Sentence connective; Logical connectives; Logical connector; ⨇
  • [[Hasse diagram]] of logical connectives.
Найдено результатов: 456
Logical connective         
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas.
logical positivism         
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
(also logical empiricism)
¦ noun a form of positivism which considers that the only meaningful philosophical problems are those which can be solved by logical analysis.
Logical positivism         
ASSERTION THAT ONLY STATEMENTS VERIFIABLE THROUGH EMPIRICAL OBSERVATION ARE MEANINGFUL
Logical empiricism; Logical positivists; Logical Positivist; Logical Positivism; Neopositivism; Neo-positivism; Logical positivist; Logical empiricist; Logical Empiricism; Vienna positivism; Protocol statement; Basic statement; Observational statement
Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, was a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion of meaning). This theory of knowledge asserted that only statements verifiable through direct observation or logical proof are meaningful in terms of conveying truth value, information or factual content.
Logical schema         
REPRESENTATION OF AN ORGANIZATION'S DATA, ORGANIZED IN TERMS OF ENTITIES AND RELATIONSHIPS
Logical schema (version 2); Logical modelling; Logical data model
A logical data model or logical schema is a data model of a specific problem domain expressed independently of a particular database management product or storage technology (physical data model) but in terms of data structures such as relational tables and columns, object-oriented classes, or XML tags. This is as opposed to a conceptual data model, which describes the semantics of an organization without reference to technology.
Logical clock         
MECHANISM FOR CAPTURING CHRONOLOGICAL AND CAUSAL RELATIONSHIPS
Logical clocks; Logical clock algorithm
A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Often, distributed systems may have no physically synchronous global clock.
Negation         
OPERATION THAT TAKES A PROPOSITION P TO ANOTHER PROPOSITION "NOT P", WRITTEN ¬P, WHICH IS INTERPRETED INTUITIVELY AS BEING TRUE WHEN P IS FALSE, AND FALSE WHEN P IS TRUE; UNARY (SINGLE-ARGUMENT) LOGICAL CONNECTIVE
Logical not; Not (logic); ¬; Not sign; Negate; Logical NOT; ⌐; Negation sign; Logical negation; Negated; ¬; Logical Complement; Logical complement; Not operator; Logical Negation; ⌙; !vote; Logical opposite; Negation (mathematics); U+00AC; Negation (logic); Quantifier negation; Negation (logics); Negation elimination; ¬
In logic, negation, also called the logical complement, is an operation that takes a proposition P to another proposition "not P", written \neg P, \mathord{\sim} P or \overline{P}. It is interpreted intuitively as being true when P is false, and false when P is true.
negate         
OPERATION THAT TAKES A PROPOSITION P TO ANOTHER PROPOSITION "NOT P", WRITTEN ¬P, WHICH IS INTERPRETED INTUITIVELY AS BEING TRUE WHEN P IS FALSE, AND FALSE WHEN P IS TRUE; UNARY (SINGLE-ARGUMENT) LOGICAL CONNECTIVE
Logical not; Not (logic); ¬; Not sign; Negate; Logical NOT; ⌐; Negation sign; Logical negation; Negated; ¬; Logical Complement; Logical complement; Not operator; Logical Negation; ⌙; !vote; Logical opposite; Negation (mathematics); U+00AC; Negation (logic); Quantifier negation; Negation (logics); Negation elimination; ¬
(negates, negating, negated)
1.
If one thing negates another, it causes that other thing to lose the effect or value that it had. (FORMAL)
These weaknesses negated his otherwise progressive attitude towards the staff.
? confirm
VERB: V n
2.
If someone negates something, they say that it does not exist. (FORMAL)
He warned that to negate the results of elections would only make things worse.
? affirm
VERB: V n
negate         
OPERATION THAT TAKES A PROPOSITION P TO ANOTHER PROPOSITION "NOT P", WRITTEN ¬P, WHICH IS INTERPRETED INTUITIVELY AS BEING TRUE WHEN P IS FALSE, AND FALSE WHEN P IS TRUE; UNARY (SINGLE-ARGUMENT) LOGICAL CONNECTIVE
Logical not; Not (logic); ¬; Not sign; Negate; Logical NOT; ⌐; Negation sign; Logical negation; Negated; ¬; Logical Complement; Logical complement; Not operator; Logical Negation; ⌙; !vote; Logical opposite; Negation (mathematics); U+00AC; Negation (logic); Quantifier negation; Negation (logics); Negation elimination; ¬
[n?'ge?t]
¦ verb
1. nullify; make ineffective.
2. Logic & Grammar make (a clause, sentence, or proposition) negative in meaning.
3. deny the existence of.
Origin
C17 (earlier (ME) as negation): from L. negat-, negare 'deny'.
negation         
OPERATION THAT TAKES A PROPOSITION P TO ANOTHER PROPOSITION "NOT P", WRITTEN ¬P, WHICH IS INTERPRETED INTUITIVELY AS BEING TRUE WHEN P IS FALSE, AND FALSE WHEN P IS TRUE; UNARY (SINGLE-ARGUMENT) LOGICAL CONNECTIVE
Logical not; Not (logic); ¬; Not sign; Negate; Logical NOT; ⌐; Negation sign; Logical negation; Negated; ¬; Logical Complement; Logical complement; Not operator; Logical Negation; ⌙; !vote; Logical opposite; Negation (mathematics); U+00AC; Negation (logic); Quantifier negation; Negation (logics); Negation elimination; ¬
[n?'ge??(?)n]
¦ noun
1. the contradiction or denial of something.
Logic a proposition whose assertion specifically denies the truth of another proposition.
2. the absence or opposite of something actual or positive.
3. Mathematics inversion.
Derivatives
negatory n?'ge?t(?)ri, 'n?g?t(?)ri adjective
logical complement         
OPERATION THAT TAKES A PROPOSITION P TO ANOTHER PROPOSITION "NOT P", WRITTEN ¬P, WHICH IS INTERPRETED INTUITIVELY AS BEING TRUE WHEN P IS FALSE, AND FALSE WHEN P IS TRUE; UNARY (SINGLE-ARGUMENT) LOGICAL CONNECTIVE
Logical not; Not (logic); ¬; Not sign; Negate; Logical NOT; ⌐; Negation sign; Logical negation; Negated; ¬; Logical Complement; Logical complement; Not operator; Logical Negation; ⌙; !vote; Logical opposite; Negation (mathematics); U+00AC; Negation (logic); Quantifier negation; Negation (logics); Negation elimination; ¬
<logic> In Boolean algebra, the logical complement or negation of a Boolean value is the opposite value, given by the following truth table: A | -A --+--- T | F F | T -A is also written as A with a bar over it or with a small vertical line hanging from the right-hand end of the "-" (LaTeX eg) or as A'. In the C programming language, it is !A and in digital circuit design, /A. (1995-01-24)

Википедия

Logical connective

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective {\displaystyle \lor } can be used to join the two atomic formulas P {\displaystyle P} and Q {\displaystyle Q} , rendering the complex formula P Q {\displaystyle P\lor Q} .

Common connectives include negation, disjunction, conjunction, and implication. In standard systems of classical logic, these connectives are interpreted as truth functions, though they receive a variety of alternative interpretations in nonclassical logics. Their classical interpretations are similar to the meanings of natural language expressions such as English "not", "or", "and", and "if", but not identical. Discrepancies between natural language connectives and those of classical logic have motivated nonclassical approaches to natural language meaning as well as approaches which pair a classical compositional semantics with a robust pragmatics.

A logical connective is similar to, but not equivalent to, a syntax commonly used in programming languages called a conditional operator.